\section{Conclusion}
\label{Conclusion}

The work is mainly comprised of evolution modeling using AADL. AN MDE based solution is presented to handle the evolving properties of software. We have considered security properties in this work and applied security patterns with AADL architecture. The work presented is applied on a barbadose crisis management system case study. We also analyze the mapping between AADL and protocol state machines. The protocol state machines will be later used in testing of evolving architectures.

In future we are interested in providing a domain specific language for evolution modeling in AADL. We further intend to propose an approach for testing from evolving software architectures.


%In this paper, we present a way to use model based testing for software architectures.The detailed use of UML 2.0 Sequence diagram as a test model for software architecture is presented in the paper. We use the test model for control flow analysis. The use of UML based test models for SA based testing is way forward to get benefits for MBT for software architectyres.Moreover the use of Sequence Diagram and an Activity Diagram based CFA opens the way for automation of the work. We present a Banking Case Study as a proof of the concept.The automation of this work and its use in our broader context of tetsing of evolving architecture is a way forward in our research on SA based testing

